@InProceedings(
KLM94,
  author = 	 "Katiyar, D. and Luckham, D. and  Mitchell, J.C.",
  title = 	 "A type system for prototyping languages",
  booktitle =	 "Proc. 21-st ACM Symp. on Principles of Programming
		  Languages",
  year =	 1994
)